undo-ask-before-discard set to nil.

diff --git a/admin/FOR-RELEASE b/admin/FOR-RELEASE
index 3f34f3528248d883fe86901ec07638fc1eda7105..853fdc9d3bf6b2217d3297899bc452f76d80e60e 100644 (file)
--- a/admin/FOR-RELEASE
+++ b/admin/FOR-RELEASE
@@ -2,9 +2,6 @@ Tasks needed before the next release.
 
 * TO BE DONE SHORTLY BEFORE RELEASE
 
-** `undo-ask-before-discard', currently set to t for debugging purposes
-has to be set to nil: when t, it can leak memory and cause other problems.
-
 ** Update release dates of manuals.
 
 ** Get rid of overfull and underfull boxes in manuals.